ELF dynamic analysis tool for IoT systems with symbolic execution
نویسندگان
چکیده
As a result of background work on analysis in embedded Linux OS, the authors created ELF (embedded linux fuzzing) tool that provides functionality for use conventional dynamic tools working with IoT devices. The article discusses full-system symbolic execution systems based kernels, describes how to integrate S2E frameworks into environment, as well possibility applicability resulting toolchain implementation distributed hybrid fuzzing.
منابع مشابه
Deconstructing Dynamic Symbolic Execution
Dynamic symbolic execution (DSE) is a well-known technique for automatically generating tests to achieve higher levels of coverage in a program. Two keys ideas of DSE are to: (1) seed symbolic execution by executing a program on an initial input; (2) using concrete values from the program execution in place of symbolic expressions whenever symbolic reasoning is hard or not desired. We describe ...
متن کاملTRACER: A Symbolic Execution Tool for Verification
Recently symbolic execution (SE) [15] has been successfully proven to be an alternative to CEGAR for program verification offering the following benefits among others [12, 18]: (1) it does not explore infeasible paths avoiding expensive refinements, (2) it avoids expensive predicate image computations (e.g., Cartesian and Boolean abstractions [2]), and (3) it can recover from too-specific abstr...
متن کاملIssue Analysis for Residual Structural Coverage in Dynamic Symbolic Execution
The process of achieving high structural coverage of the program under test can be automated using Dynamic Symbolic Execution (DSE), which generates test inputs to iteratively explore paths of the program under test. When applied on real-world applications, DSE faces various challenges in generating test inputs to achieve high structural coverage. Among issues related to these challenges, our p...
متن کاملDynamic Symbolic Execution for Testing Distributed Objects
This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify equivalence classes of input values and has been shown to scale well to large systems. Although mainly applied to sequential programs, this scalability makes it interesting to consider the technique in the distributed and conc...
متن کاملRedundant State Detection for Dynamic Symbolic Execution
Many recent tools use dynamic symbolic execution to perform tasks ranging from automatic test generation, finding security flaws, equivalence verification, and exploit generation. However, while symbolic execution is promising, it perennially struggles with the fact that the number of paths in a program increases roughly exponentially with both code and input size. This paper presents a techniq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Trudy Instituta sistemnogo programmirovaniâ
سال: 2022
ISSN: ['2079-8156', '2220-6426']
DOI: https://doi.org/10.15514/ispras-2022-34(4)-3